[[Module theory MOC]] # Semisimple module A (left) [[module]] $M \in \lMod R$ is (left) **semisimple** or **completely reducible** iff it is the [[Direct sum of modules|direct sum]] of [[Simple module|simple]] [[Submodule|submodules]]. #m/def/module # --- #state/tidy | #lang/en | #SemBr